equations involving modulos